Search Results
Ranjit Jhala - Language-Integrated Verification
"Language-Integrated Verification" by Dr. Ranjit Jhala
Language-Integrated Verification by Ranjit Jhala
Language-Integrated Verification
Types are a Program Analysis' Best Friend, Ranjit Jhala
PLSE Seminar Series Ranjit Jhala, "Refinement Types for Dynamic Languages"
How to Design Talks - Ranjit Jhala at PLMW@PLDI
Scalability and Precision by Combining Expressive Type Systems and Deductive Verification
PLDI 2019: Formulas
"Grad School" by UCSD/Lambda Style Productions (parody of Taylor Swift's "Blank Space")
Ranjit Jhala performs Lambda Style!
Ranjit Jhala feat. Deian Stefan - No Time